INDVAR
 nn mm n m l k c b a ww vv uu w v u zz yy xx z1 z y1 y x1 x Z Y X


INDCONST
 undef qT qNIL


PREDCONST
 True ≥ > ≤ < POSP ZEROP BOTTOM NULL NELIST ATOM PAIR LIST SEXP


OPCONST
not or and crev creverse1 length cappend sum / - ⊗ + sub1 add1 rev1 rev
reverse1 reverse app * equal null atom % if cons cdr car


OPPAR
 F


PREDPAR
 PSI PHI